-
1 constructive analysis
Большой англо-русский и русско-английский словарь > constructive analysis
-
2 constructive analysis
Математика: конструктивный анализ -
3 constructive analysis
English-russian dictionary of physics > constructive analysis
-
4 constructive analysis
English-Russian scientific dictionary > constructive analysis
-
5 analysis
1) анализ; исследование; изучение2) разбор3) анализ, состав•analysis in time domain — матем. временной анализ
analysis is in control — хим. состав попадает в анализ
analysis situs — матем. топология
-
6 конструктивный анализ
Большой англо-русский и русско-английский словарь > конструктивный анализ
-
7 synthesis
- automata synthesis
- behavioral synthesis
- constructive speech synthesis
- constructive synthesis
- functional synthesis
- image synthesis
- logic synthesis
- logical synthesis
- micro-architecture synthesis
- picture synthesis
- schematic synthesis
- speech synthesis
- structure synthesis
- synthesis by rule
- synthesis through analysis
- test synthesis
- timing-driven synthesisEnglish-Russian dictionary of computer science and programming > synthesis
-
8 service
служба; военная [воинская] служба; обслуживание; обеспечение; вид ВС; род войск; pl. св. виды услуг; Бр. технические советники, начальники ( технических) служб ( в штабе) ; обслуживать; производить осмотр и текущий ремонт; обеспечивать; заправлять; служебный; военный; см. тж. dutymorale (and personnel) services — виды обслуживания ЛС, способствующие поднятию морального духа; обеспечение (ЛС) предметами пропагандистского назначения
put into (operational) service — поставлять [принимать] на вооружение; вводить в эксплуатацию [строй]
— aircraft warning service— cryptoanalytical service— for service in— mapping intelligence service— mapping service— rear ward services— see service in— transportation service— water supply service -
9 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
10 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
См. также в других словарях:
Constructive analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructive mathematics. This contrasts with classical analysis, which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Constructive set theory — is an approach to mathematical constructivism following the program of axiomatic set theory. That is, it uses the usual first order language of classical set theory, and although of course the logic is constructive, there is no explicit use of… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Constructive non-standard analysis — In mathematics, constructive nonstandard analysis is a version of Abraham Robinson s non standard analysis, developed by Moerdijk (1995), Palmgren (1998), Ruokolainen (2004). Ruokolainen wrote: The possibility of constructivization of nonstandard … Wikipedia
Constructive Approximation — Abbreviated title (ISO) Constr. Approx. Discipline mathematics … Wikipedia
Constructive induction — is a process in the field of machine learning, which can be described as changing the representations of data by creating new attributes from existing ones, and possibly removing old ones. [cite web last = Pazzani first = M. authorlink =… … Wikipedia
Constructive quantum field theory — In mathematical physics, constructive quantum field theory is the field devoted to showing that quantum theory is mathematically compatible with special relativity. This demonstration requires new mathematics, in a sense analogous to Newton… … Wikipedia
Constructive function theory — In mathematical analysis, constructive function theory is a field which studies the connection between the smoothness of a function and its degree of approximation[1][2]. It is closely related to approximation theory. The term was coined by… … Wikipedia
Constructivist analysis — In mathematics, constructive analysis is mathematical analysis done according to the principles of constructivist mathematics.This contrasts with classical analysis , which (in this context) simply means analysis done according to the (ordinary)… … Wikipedia
Criticism of non-standard analysis — Non standard analysis and its offshoot, non standard calculus, have been criticized by several authors. The evaluation of non standard analysis in the literature has varied greatly. Joseph Dauben described it as a scientific revolution, while… … Wikipedia
Non-classical analysis — In mathematics, non classical analysis is any system of analysis, other than classical real analysis, and complex, vector, tensor, etc., analysis based upon it. Such systems include: Abstract Stone duality,[1] a programme to re axiomatise general … Wikipedia